int main (int argc, char *argv[]){ 

  int counter;
  
  while (1) {
    counter++;
  }

  return 0;
}
